Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur l'OCR

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Danemark32
Heine S Rensen1
Danemark Sauf Heine S Rensen" 31
Heine S Rensen Sauf Danemark" 0
Danemark Et Heine S Rensen 1
Danemark Ou Heine S Rensen 32
Corpus7533
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
002811 Heine S Rensen [Pays-Bas, Danemark]Effective longest and infinite reduction paths in untyped λ-calculi
Wicri

This area was generated with Dilib version V0.6.32.
Data generation: Sat Nov 11 16:53:45 2017. Site generation: Mon Mar 11 23:15:16 2024